Knihy od autora Axel Legay

Zobrazeno 1 – 11 z 11 výsledků

1. 

   Runtime Verification

   Axel Legay, Saddek Bensalem | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
2. 

   Models, Algorithms, Logics and Tools

   Luca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   From Programs to Systems - The Systems Perspective in Computing

   Saddek Bensalem, Yassine Lakhnech, Axel Legay | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Axel Legay, Tiziana Margaria | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
5. 

   Hardware and Software: Verification and Testing

   Valeria Bertacco, Axel Legay | Springer International Publishing AG, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
6. 

   Formal Modeling and Analysis of Timed Systems

   Axel Legay, Marius Bozga | Springer International Publishing AG, 2014

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
7. 

   Risks and Security of Internet and Systems

   Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
8. 

   Model Checking Software

   Fabrizio Biondi, Thomas Given-Wilson, Axel Legay | Springer Nature Switzerland AG, 2019

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
9. 

   Tools and Algorithms for the Construction and Analysis of Systems

   Axel Legay, Tiziana Margaria | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
10. 

    Automated Technology for Verification and Analysis

    Cyrille Artho, Axel Legay, Doron Peled | Springer International Publishing AG, 2016

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit
11. 

    Risks and Security of Internet and Systems

    Frédéric Cuppens, Nora Cuppens, Jean-Louis Lanet, Axel Legay | Springer International Publishing AG, 2017

    
    

    Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

    Jazyk: Angličtina

    Vazba: Brožovaná

    1681 Kč

    Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více